//]]>
Unhighlight Highlight
Software specification methods /   Publication: London : ISTE Ltd, 2006 . xxv, 418 p. : 25 cm. Date:2006 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /   Publication: Berlin : Springer, 2010 . xiv, 416 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Abstract State Machines, Alloy, B and Z by Frappier, Marc. Publication: . XIV, 416p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart